sqrt(2) irrational proof

join shbcf.ru